#include <stdio.h>
#include <stdint.h>

int main() {
    uint32_t num = 0x12345678;
    uint8_t *p = (uint8_t *)&num;
    printf("0x%02X 0x%02X 0x%02X 0x%02X\n", p[0], p[1], p[2], p[3]);
    return 0;
}

